Buy Used and New Michael Butler Books

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November ... / Programming and Software Engineering)

by

ISBN 13: 9783540766483

Format: Paperback (387 pages)
Publisher: Springer
Published: 07 Nov 2007

Save for later

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by

ISBN 13: 9783540876021

Format: Paperback (382 pages)
Publisher: Springer
Published: 08 Sep 2008

Save for later